An Intuitively Complete Analysis of Godel's Incompleteness
نویسنده
چکیده
A detailed and rigorous analysis of Gödel’s proof of his first incompleteness theorem is presented. The purpose of this analysis is two-fold. The first is to reveal what Gödel actually proved to provide a clear and solid foundation upon which to base future research. The second is to construct a coherent explication of Gödel’s proof that is not only approachable by the non-specialist, but also brings to light the core principles underlying Gödel’s proof.
منابع مشابه
Godel's Incompleteness Phenomenon - Computationally
We argue that Gödel’s completeness theorem is equivalent to completability of consistent theories, and Gödel’s incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some consistent and recursively enumerable theories which cannot be extended to any complete and consistent and recursively enumerable theory. Though any consistent an...
متن کاملTheorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally
We show that the existence of a finitely axiomatized theory which can prove all the true Σ1 sentences may imply Gödel’s Second Incompleteness Theorem, by incorporating some bi-theoretic version of the derivability conditions (first discussed by Detlefsen 2001). We also argue that Tarski’s theorem on the undefinability of truth is Gödel’s first incompleteness theorem relativized to definable ora...
متن کاملConstructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem
The proofs of Chaitin and Boolos for Gödel’s Incompleteness Theorem are studied from the perspectives of constructibility and Rosserizability. By Rosserization of a proof we mean that the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel’s own proof for his incompleteness theorem is not Rosserizable, and...
متن کاملTwo theorems on experimental logics
A generalization of a formal system is considered, in which the axioms of the formal system can be withdrawn or supplemented, as mechanical experimentation proceeds through time and the consequences of various combinations of assumptions are realized. The "theorems" of these experimental logics are taken to be those assertions possessing a proof which remains valid for all "sufficiently large t...
متن کاملOn Godel's incompleteness theorem(s), Artificial Intelligence/Life, and Human Mind
In the present paper we have discussed concerning Godel’s incompleteness theorem(s) and plausible implications to artificial intelligence/life and human mind. Perhaps we should agree with Sullins III, that the value of this finding is not to discourage certain types of research in AL, but rather to help move us in a direction where we can more clearly define the results of that research. Godel’...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1512.03667 شماره
صفحات -
تاریخ انتشار 2015